[PATCH] x86_64 sync machine_power_off with i386