Make kernel argument type checking an explicit requirement