I have no update but in the meantime there were some VirtualBox releases. Could you try if you still can reproduce this problem with the latest release (4.1.22 or 4.2.0)?