[RESEND PATCH v7 0/2] Add OpenPiton-riscv64 Board Support