Re: [coreboot] [RFH] Test on hardware with GCC 4.7.3