use new kernel_args_offset