[SeaBIOS] [PATCH] Build different final files for QEMU, coreboot, and CSM.