No matches were found for subject:"\[PATCH\] smpboot\: correctly update number of booted cores"