как скомпилить ядро без atkbd.c но чтобы потом клава ps/2 осталась?
p.s. в ядре есть поддержка ps/2 клава включаеися через atkbd, но при загруке ядра именно на нём и kernel panic, как вариант чтения на кернел огшр встречал ссылки на i8420, но через него поддерживается serial port.