Vexpress TC2 no longer booting on v4.12-rc1

[Mathieu Poirier]

Good afternoon Russell and friends,

I noticed that my vexpress-TC2 platform stopped booting when moving to
kernel v4.12-rc1 (same with -rc2 and 3).  The last time things worked
properly was on v4.11.  I did a bisect between v4.11 and v4.12-rc1 and
ended up on [1], hence this email.

Since CONFIG_ARM_VIRT_EXT is selected by  default I removed the
"#ifdef CONFIG_ARM_VIRT_EXT" section in the last hunk of the patch and
the system sprung up to life again.

Compiler: arm-linux-gnueabi-gcc (Ubuntu/Linaro 5.4.0-6ubuntu1~16.04.4)
5.4.0 20160609
Kernel command line: console=ttyAMA0,38400 loglevel=8 root=/dev/sda2 rootwait
U-boot:
 ## Flattened Device Tree blob at 82000000
   Booting using the fdt blob at 0x82000000
   Loading Ramdisk to 9fcea000, end 9feea6d1 ... OK
   Loading Device Tree to 9fce2000, end 9fce9ad8 ... OK

I'm not sure what else you need at this time - simply get back to me
with what I'm missing and I'll be happy to provided.  I'm also
offering to test patches.

Many thanks,
Mathieu

[1]. 9da5ac236de6 ARM: soft-reboot into same mode that we entered the kernel