Always use short version for kernel formatting and remove +