Don't skip these ports on amd64.