Hi,
The old topic would still have been fine for this question...
As user sjesse says "it normally just works"
I have a question for you. What bitness does your windows 8.1 Professional version have? 64 bits or 32 bits?
And does the guest OS setting in Settings -> General match both the guest OS _and_ bitness ?
--
Wil