Comment 21 for bug 76881

Thanks. So this is about PS/2 keyboard and by some unknown reason the initialization fails at the cold boot. Unfortunately it's not trivial to re-probe because of the built-in driver.

I rebuilt the latest stable kernel with changing the PS2 keyboard and mouse drivers to modules, which will allow you to reload after the boot.
The test kernel is found in OBS home:tiwai:bsc1190256 repo.
  http://download.opensuse.org/repositories/home:/tiwai:/bsc1190256/standard/

Could you give it a try? Prepare a USB keyboard while testing, as PS/2 modules might be not loaded automatically.
The modules to be tested are i8042, atkbd and psmouse. Check lsmod and load the missing one.

An interesting part is that, if those have been loaded but not working in the same way, try to unload and reload again.