I believe I’ve tracked down the problem to kernel module compression – specifically, during initrd, the kernel isn’t able to decompress modules because it was expecting to use external utilities. I’m reworking the initrd to have the keyboard driver modules already decompressed.