Symbol: I8042_AUX_PORT_NO