1. Hold down Shift key while CD is booting 2. Type menu.c32 at the boot prompt 3. Move cursor to boot menu option "install" 4. Press Tab key to edit settings 5. Insert the string "no-real-mode acpi=off" immediately after the string "/boot/xen.gz" and before the string "watchdog"