Comment out BROKEN_riscv64 after recent port change: either it fixes build or there will be fresh build log available at least (hopefully).