The info file assumes you have a low spec machine, and I do not doubt your assessment of your CPU specs.
If have the time to give it another go, with persistence here is my suggestion
manually load the extension with ----tce-load -i virtualbox-ose
ensure you see OK against all dependencies loading
If you have a low spec machine then use bootlocal as per info file like this
addgroup -S vboxusers
addgroup tc vboxusers
if you have a decent spec machine then step A
addgroup -S vboxusers
addgroup tc vboxusers
step B....peek inside /etc/group and check you have an entry that starts with vboxusers and ends with tc
step C you have a good file so add to your .filetool.lst for backup
etc/group
step D choose onboot or ondemand as you see fit
reboot and check the group entry is there before running the executable
first time ....don't use the desktop....pls...use a terminal so you can see any error messages
good luck and no need to reply as I know you have already said you can't do it