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