I think the OP is overreacting. From what I know there is at least one way around this - the DDK allows creation of executable memory, and from what I understand that is quite important for various types of drivers and not likely to be removed for ARM. The other issue with this assessment that I have is that the API is constantly changing, poorly documented and huge, so I'm going to be skeptical if anyone says "there is nothing in the API to allow X".