Re: [coreboot] !IS_TOP_ALIGNED_ADDRESS failure