[coreboot] kexec --reset-vga from an inteldrmfb frame buffer