Actually, it carries the Core Server name all the way back from WinPE. Whatever is in WinPe x:\temp\corename is the Core Server name it will connect to for the agent install.
And no, you don't need to reboot immediately after a Join Domain...
Frank