ACPI / EC: Fix broken 64bit big-endian users of 'global_lock'