Add #define MODULE to preconf. Needed to parse a few more drivers.
Add #define MODULE to preconf. Needed to parse a few more drivers.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer