And, if i8042.nopnp=1 works, please upload the kernel messages (output of dmesg) on both working and non-working cases (with and without the boot option), too.