Hrm. Trying this again, it doesn't even seem either those scripts or the DOUBLE_CONSOLE_SWITCH are required anymore, just the i8042.reset option. (At least on my machine)
Hrm. Trying this again, it doesn't even seem either those scripts or the DOUBLE_ CONSOLE_ SWITCH are required anymore, just the i8042.reset option. (At least on my machine)