I should have been clear in my original comment that I was referring to virtualization, i.e. ARM Linux guests.