Fixup more kernel modules