Symbol: brcmf_chip_core_write32