[OpenBIOS] [PATCH 02/11] pci: rename i82378 keyboard device from 8042 to keyboard