We are wondering what EXKB is used for. Seems like "extension keyboard." Maybe it was for a canceled peripheral or is used in BIG to get usb keyboard input