This is the general hardware-specific BSP overlay for the RISC-V based devices.