Bug reporting instructions for Ubuntu Server riscv64+pic64gx

This product doesn't have detailed bug reporting instructions yet.