fix address range 37fffffff to 380000000
checked the print of the max pfn is ok