ARM: 5774/1: Fix Realview ARM1176PB board reboot