KERNEL_ORIGIN
load(initrd_start, KERNEL_ORIGIN+KERNEL_SIZE, INITRD_IMAGE_SIZE);
load(START_ADDR+(4*KERNEL_SIZE), KERNEL_ORIGIN, KERNEL_SIZE);
#define V_BOOTSTRAPPER_END KERNEL_ORIGIN
#define V_DATA_START KERNEL_ORIGIN
#define V_INITRD_START (KERNEL_ORIGIN + KERNEL_Z_SIZE)
srm_printk("KERNEL_ORIGIN 0x%lx\n", KERNEL_ORIGIN);