kernel_phys_offset should be int