While your solution is probable it would most likely never be a Windows bug. I have never encountered a Windows processor checked bug with updating W10 on multiple platforms. While your fix may have solved the issue it's not likely to occur.
As indicated by the video, the number of processors is unchecked by default.
