dkms on raspberry pi docu update