realview-pb: add platform_halt() function

platform/debug.h declares platform_{dputc,dgetc,halt} functions. We implemented
dputc, and dgetc reamining halt. For halting, simply go into infinite loop.

Before halting, we need to disable interrupts. This will be implemented when
GIC is working.