[PATCH] x86_64: use halt() instead of raw inline assembly