x86: pda_init(): fix memory leak when using CPU hotplug