If kernel has a new name, might as well be consistent about it.
Merge branch 'jellybean_4.2' of github.com:josteink/device_asus_tf101 into jellybean_4.2