Symbol: read_c0_brcm_config