hw/arm/vexpress: Don't use arm_pic_init_cpu()