wscript: adjust max fw size when building PRF variants

Signed-off-by: Gerard Marull-Paretas <gerard@teslabs.com>

Author: gmarull

wscript

@@ -1585,11 +1585,17 @@ def _check_firmware_image_size(ctx, path):
             # 2048k of flash and 32k bootloader
             max_firmware_size = (2048 - 32) * BYTES_PER_K
     elif ctx.env.MICRO_FAMILY == 'NRF52840':
-        # 1024k of flash and 32k bootloader
-        max_firmware_size = (1024 - 32) * BYTES_PER_K
+        if ctx.variant == 'prf' and not ctx.env.IS_MFG:
+            max_firmware_size = 512 * BYTES_PER_K
+        else:
+            # 1024k of flash and 32k bootloader
+            max_firmware_size = (1024 - 32) * BYTES_PER_K
     elif ctx.env.MICRO_FAMILY == 'SF32LB52':
-        # 3072k of flash
-        max_firmware_size = 3072 * BYTES_PER_K
+        if ctx.variant == 'prf' and not ctx.env.IS_MFG:
+            max_firmware_size = 512 * BYTES_PER_K
+        else:
+            # 3072k of flash
+            max_firmware_size = 3072 * BYTES_PER_K
     else:
         ctx.fatal('Cannot check firmware size against unknown micro family "{}"'
                   .format(ctx.env.MICRO_FAMILY))