BCM2711
DT_MACHINE_START(BCM2711, "BCM2711")
if (pcie->cfg->soc_base == BCM2711) {
else if (pcie->cfg->soc_base == BCM2711)
.soc_base = BCM2711,