Use stock kernel