# CONFIG_MCHP_SBI_IPC_MBOX is not set
