KERNBASE
#define KERNBASE 0xE000000 /* First address the kernel will eventually be */
#define KERNBASE 0xf0000000 /* First address the kernel will eventually be */
#define KERNBASE 0x400000
