[OpenBIOS] [PATCH 2/2] pc_kbd: add optional mouse device support for 8042 devices