[coreboot] Re: Build error/warning on 32bit host?