Re: [coreboot] Inconsistent low-level arch functions between ARM and x86