[coreboot] memtest x86 64-bit issues