Re: [coreboot] #188: gcc-4.7 miscompiles coreboot on -Os, -O1, -O2, -O3 in 3 different ways