I'm building yet another test kernel with a hackish patch to re-probe the i8042 driver at the error. It's being built in OBS home:tiwai:bsc1190256-2 repo. Please give it a try later.