Symbol: powerpc_get_config