gem5 requires armv7, and we learnt that the versatiledb we were using
was pre-v7.
We could have moved to -M vexpress-*, but in the end decided to go for
-M virt due to its simpliciy, and uniformity with aarch64.
platform_device: does not work anymore and was removed, since it was tied
to versatilepb.
We left a mention on the README and removed all in tree source. The QEMU
patch is still left as it was.
As a consequence, the linux tree had no other patches, and we now use
vanilla linux by default, which is a great thing for reproducibility.
Another consequence is the /poweroff.out works for arm -M virt,
and we removed all mentions of the problem.
Semi automated conversion, in part because Pandoc is kind of buggy for adoc:
Some of the commands were along the lines:
for f in *.md; do pandoc --atx-headers --base-header-level=3 -o ${f%.md}.adoc --wrap=none $f; done
sed -Ei '/\[\[.*\]\]/d' *.adoc
while read -r f; do cat $f; echo; done <f >g
