Symbol: PL080_CONFIG_HALT