This is most likely not a bug. The vbox install error is because you are running a different kernel and you have sources of a different kernel under /usr/src. Copy the latest sources to /usr/src under linux directory and give it a try. Let us know the results.
This is most likely not a bug. The vbox install error is because you are running a different kernel and you have sources of a different kernel under /usr/src. Copy the latest sources to /usr/src under linux directory and give it a try. Let us know the results.