Strangely this is related to bug#536699. Changing, in the BIOS, the graphics aperture size from 128MB to 256MB as suggested in that bug's comments solves both that issue and this.
Strangely this is related to bug#536699. Changing, in the BIOS, the graphics aperture size from 128MB to 256MB as suggested in that bug's comments solves both that issue and this.