I can confirm this is the same issues as mines, just checked dmesg without the kernel parameter and found the exact same line: i8042: PNP: PS/2 appears to have AUX port disabled, if this is incorrect please boot with i8042.nopnp