Subject: [PATCH] Use BIOS reboot on Toshiba Portege 4000
From: Andrey Borzenkov <arvidjaar@xxxxxxx>
After commit c7ffa6c26277b403920e2255d10df849bd613380 which defaults
to reboot via ACPI keyboard is dead on Toshiba Portege 4000 upon reboot.
Power off is required to revive it again. Add DMI entry to force BIOS
reboot method as it was before.
Signed-off-by: Andrey Borzenkov <arvidjaar@xxxxxxx>
Avi, i expect more boxes to be affected by this bug, and the DMI solution just does not scale.
So could we please disable VMX from the emergency-shutdown code instead of twiddling with the reboot method?
Something like this might work as well: iff VMX is enabled, we just do smp_send_stop() (instead of skipping it) which should take care of this.