Tools to build an aosp custom kernel for the galaxy i9300.