x86_64-specific part of the new mechanism to allow debuggers to learn about starting/dying CPUs as early/late as possible. From: Jan Beulich (actual patch attached)