Various 'improvements', including bumping up the version number, and allowing the kernel to be built with PLATFORM=iPhoneOS SDKROOT=iphoneos