22dc2883939d drm-tip: 2026y-01m-06d-07h-17m-24s UTC integration manifest
fd390ff14451 PCI/VGA: Don't assume the only VGA device on a system is `boot_vga`
b3845fe8af5e drm-tip: 2026y-01m-05d-23h-12m-06s UTC integration manifest