ACPI: preserve the ebx value in acpi_copy_wakeup_routine