avoid memset warning in apps/sel4bench/src/irq.c

[axel-h]

Look into the build warning, maybe there is a way to avoid it, if this is a dynamically assigned region:

RISC-V:

 /github/workspace/projects/sel4bench/apps/sel4bench/src/irq.c: In function 'process':
  cc1: warning: '__builtin_memset' writing between 8 and 17179869176 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=]

ARMv8:

/github/workspace/projects/sel4bench/apps/sel4bench/src/irq.c:42:28: warning: ‘__builtin_memset’ writing between 8 and 17179869176 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=]
   42 |         kernel_log_data[i] = kernel_logging_entry_get_data(&irq_results->kernel_log[i]);
      |         ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~