Update head64.S

changes from latest version on www.kernel.org