Symbol: I8042_NUM_PORTS