Hi,
sorry for the delayed answer.
We had a look at VirtualBox 4.x with our demo CD and, unfortunately, it does no longer work. Last year we used version 3.x for our demo developments, but after that exclusively used Qemu for our projects. Investigating this issue further needs more time we unhappily do not have currently.
Regards