__kernel_offset__ = (0x1000-1024)*1024*1024;