[kernel] higher half! kernel.c and beyond are mapped at 0xffff800000000000