Merge branch 'master' of libre-riscv.org:libresoc-isa-manual
drwxr-xr-x - libresoc-isa-manual
drwxr-xr-x - powerpc-add