OK, that's a good news at least. It means that the upcoming kernel update in November will work. Keep that kernel until the new kernel appears as the official update.