958c958,960
< cur_sys.load_addr_mask = 0xfffffff
---
> # the old load_add_mask 0xfffffff works for 32-bit kernel
> # but not the 64-bit one. The new value 0x7ffffff works for both
> cur_sys.load_addr_mask = 0x7ffffff