remove unused devices from riscv_board, move pc start to 0x2000