[PATCH] x86_64: When cpu_up fails clean up page allocator properly