Added Vorago VA416x0 wolfBoot support

[dgarske]

Added Vorago VA416x0 wolfBoot support

• Tested on VA41620 and VA41630 MCU's.

MCU: Cortex-M4 with Triple-Mode Redundancy (TMR) RAD hardening at up to 100MHz.
FLASH: The VA41630 has 256KB of internal SPI FRAM (for the VA41620 its external). FRAM is Infineon FM25V20A.
SRAM: 64KB on-chip SRAM and 256KB on-chip program memory

• All build settings come from .config file. For this platform use TARGET=va416x0. See example configuration at config/examples/vorago_va416x0.config.

Also:

• Added check for image header size <= sector size.
• Expanded the ML-DSA testing for level 3 and 5.
• Fix to make sure the hal/$(TARGET) is always rebuilt for test-app.

[danielinux]

Just some minor linker scripts / include files path considerations

[danielinux]

A few more comments about WOLFBOOT_RESTORE_CLOCK

[danielinux]

This looks great! Thanks for taking the time and making WOLFBOOT_RESTORE_CLOCK a global option.