Red Hat chuẩn hóa Linux cho máy chủ ARM 64-bit, Sản phẩm