# CONFIG_ALTERA_MBOX is not set