fix parse_kernel