x86: Add an i8042 device for boards that have it