Fix for missing kernel modules?

Change-Id: I4b15094aca826036708b0a80b5e4ae7558185031