What would be nice though is if they would get on and share the source of the PowerVR kernel module, which is marked as GPL in the module properties, and for which we've requested the source.