KERNEL_OFFSET
#define KERNEL_OFFSET 0x00030000
#define KERNEL_OFFSET (paddr_t)&KERNEL_BASE_phys
#define KERNEL_OFFSET 0x00200000