Symbol: PL080_CONFIG_ENABLE