# CONFIG_GAMEPORT is not set