Symbol: cfg_read32