Hi,

Same as for VirtualBox 3.1.2. You could use same files as before. There is a warning for the patch, but this could be safely ingored.

Ernst