Comment 1 for bug 731095

Patch submitted upstream:
http://patchwork.ozlabs.org/patch/87268/

With this it works OK in both usermode and system mode (I tested booting an x86 system image, which is fine although obviously very sloooooow.)