Load stock kernel rather than a custom kernel