[SeaBIOS] [PATCH 4/6] Consistently use CONFIG_COREBOOT, CONFIG_QEMU, and runningOnXen().