RISC OS 3.71 kernel changes merged.
Kevin Bracey authored
Not fully tested on all hardware permutations.
e769c131