kernel_read: redefine offset type