KBDC_ENABLE_AUX_PORT
write_controller_command(sc->kbdc, KBDC_ENABLE_AUX_PORT);
case KBDC_ENABLE_AUX_PORT: