arm: Switch to using Versatile Express A15 machine.

This is the machine which qemu actually emulates these days.
arm: Drop kernel_irqchip=off hack.

Was only required because of the previous use of vexpress-a9.  With
vexpress-a15 should no longer be needed.