Checking in amd64 starting point code