# CONFIG_AUXDISPLAY is not set