Allow kernel modules to be compiled independently and via top-level kernel-modules target