On an Acer Aspire 1501LMi running in 32bit mode, the keyboard doesn't work at
all after a reboot (but works perfectly after a cold start).
I'm guessing it's an ACPI BIOS bug, but since it works with older kernels, we
must be doing something different these days.