Symbol: i8042_enable_aux_port