Text this: Configurable Toolset for Static Verification of Operating Systems Kernel Modules