kernel install issue: /sbin/depmod - avc's supplied