# CONFIG_PL320_MBOX is not set