Use Serverspec's platform attrs