Re: [OpenBIOS] [PATCH 0/2] pc_kbd: implement 8042 controller and separate keyboard/mouse devices