Init 10amd64 for t430