Update kernel argument module documentation