A Decision Procedure Approach to Linux Modules Dependency