[coreboot] [RFC] port bochs-bios to gcc