MISC_CHIPID
cpu->cpu_ioreg_bsh, CCA_MISC_BASE + MISC_CHIPID);
uint32_t chipid = bcmcca_read_4(sc, MISC_CHIPID);