In theory, if there was a Harmattan compatible 3.5.3 kernel, what sort of improvments would be possible for the OS/device?