A port of the KangBang kernel for the HTC Flyer