ARM: bL_switcher: do not hardcode GIC IDs in the code