Fix some warnings in mini-amd64.c.