Re: [coreboot] Incorrect casting in romcc.