Is this a cause for concern? Is there a newer kernel that needs the patches, or is the version number just a cosmetic thing?