<div>FWIW, this one now boots under VirtualBox 4.0.12.</div>