Re: [SeaBIOS] [PATCH] config: add coreboot / qemu choice