Input: i8042 - also set the firmware id for MUXed ports