[OpenBIOS] [PATCH 1/2] pc_kbd: place keyboard device under 8042 controller device