NRF_CRACENCORE_BASE

#define NRF_CRACENCORE_BASE   ((uint32_t)NRF_CRACENCORE)

#include <hardware.h>

A portable symbol to a typed NRF_CRACENCORE.

The MDK provides a portable symbol to a typed NRF_CRACENCORE, but not to a base address. So we create our own portable symbol.