Convert arm11mpcore to using the standalone sysbus GIC device.
Signed-off-by: NPeter Maydell <peter.maydell@linaro.org>