Can bit 60 of P64 be put to use (in all but the FR4 case)?
+
+# experiment VLtyp
+
+experiment 1:
+
++-----------+-------------+--------------+------------+----------------------+
+| VLtyp[11] | VLtyp[10:6] | VLtyp[5:3] | VLtyp[2:0] | comment |
++-----------+-------------+--------------+------------+----------------------+
+| 0 | 00000 | 000 | 000 | no change to VL/MVL |
++-----------+-------------+--------------+------------+----------------------+
+| 0 | imm | 000 | rs'!=0 | |
++-----------+-------------+--------------+------------+----------------------+
+| 0 | imm | rd'!=0 | 000 | |
++-----------+-------------+--------------+------------+----------------------+
+| 0 | imm | rd'!=0 | rs'!=0 | |
++-----------+-------------+--------------+------------+----------------------+
+| 1 | imm | 000 | 000 | |
++-----------+-------------+--------------+------------+----------------------+
+| 1 | imm | 000 | rs'!=0 | |
++-----------+-------------+--------------+------------+----------------------+
+| 1 | imm | rd'!=0 | 000 | |
++-----------+-------------+--------------+------------+----------------------+
+| 1 | imm | rd'!=0 | rs'!=0 | |
++-----------+-------------+--------------+------------+----------------------+