[coreboot] [coreboot - Bug #513] clear_memory() triggers null dereference exception when running coreboot in long (64-bit) mode