KBDC_SET_COMMAND_BYTE
if (!write_controller_command(p, KBDC_SET_COMMAND_BYTE))
case KBDC_SET_COMMAND_BYTE: