[coreboot] R: Re: !IS_TOP_ALIGNED_ADDRESS failure