changed 32-bit kernel virt base to 0x80000000 to allow to map 2G of physical memory