/arch/riscv/boot/dts/microchip/