ARM wrestling

I think what the discussion has shown is that a number of drivers are not well written and could be made more generic rather than duplicated. They are however reasonably well abstracted in the way that it's possible to exchange e.g. one interrupt controller for another one and have everything else still work.

There are still areas that need a lot of improvement here, but it's not standing in the way of generalizing the subarchitectures.