[RFC] Some Considerations for Kernel Module Checks