ARM: RealView: Fix typo in the RealView/PBX Kconfig entry