Correction: Keyboard does not work after a cold boot. Rebooting from login screen then makes the keyboard miraculously work.