(In reply to Larry Finger from comment #4) > The build system eventually catches up and supplies the updated kmp. We are > currently making some changes in the build files that should force a rebuild > of VirtualBox modules whenever the kernel changes. It appears that this issue got fixed already, my image builds that started failing recently are now all green again.