Re: Problem installing kernel due to virtualbox?