Minor updates to version numbers of VirtualBox and Linux kernel used

I don't know why I had a different number for "L2 Cache (per
processor)" before than I see now, but I have double-checked that I do
see 8 MB now, both from "About This Mac" menu and in output of
system_profiler command.