x86-64, hotplug: Add start_cpu0() entry point to head_64.S