arch/x86-64: And don't forget the 32-bit bootstrap needs some special magic