Some of the change sets needed for ARM

This contains everything from my 'linaro' branch that's still relevant, except re-enabling libxenlight xenopsd.