Do we have a plan for adding gator to LSK now? I have a request to
support gator on LSK based image, and I'd prefer not to add the module
from outside the kernel.