Need to use Buildroot to build Linux sdcard.img file for the Polarfire SoC Discovery Kit.
Current buildroot-external-microchip/board/microchip has no support for Disco-Kit.
In buildroot/output/build/dt-overlay-mchp-linuxmicrochip+fpga-2024.06, it also has no support for Disco-Kit
And other places have no support for Disco-Kit.