hw/realview.c: Remove duplicate #include line