[SeaBIOS] [PATCH] vgabios: Bochs/QEMU vgabios support should depend on CONFIG_QEMU.