# CONFIG_BCM_PDC_MBOX is not set