I need the Linux BSP image file for the S32G-VNP-RDB2 board to flash onto an SD card. I found one BSP package, but it only contains S32V4 files, which are not supported for flashing the VNP-RDB2. Could you please provide the correct BSP image or guide me to the proper download location?