Thanks for the suggestion. I will try this out as soon as I get time for it, and report the outcome. I also tried an ordinary install of 7.7.1 under Workstation 10.X, using flash-knoppix. Seems to work fine, but I won't go further along that line until I have a remastered ISO to start from. Knoppix ran just fine with the 64-bit kernel. The host, Debian Jessie, runs with 3.16 kernel as default.