--- thinkpad_ec.c	2016-08-18 23:17:16.451711677 +0200
+++ /usr/src/tp-smapi-0.41/thinkpad_ec.c	2016-08-18 23:16:32.040473288 +0200
@@ -97,7 +97,7 @@
 /* Kludge in case the ACPI DSDT reserves the ports we need. */
 static int force_io;    /* Willing to do IO to ports we couldn't reserve? */
 static int reserved_io; /* Successfully reserved the ports? */
-module_param_named(force_io, force_io, bool, 0600);
+module_param_named(force_io, force_io, int, 0600);
 MODULE_PARM_DESC(force_io, "Force IO even if region already reserved (0=off, 1=on)");
 
 /**