Using RIS to Deploy 64-Bit OSs Is Tricky