I am using `MaybeUnint` to defer initialisation until runtime, but I understand your points.

however The zero_initialize_sram3 function uses a range derived from the start and end symbols in the linker, so surely this ensures proper provenance?


```
// Static variable using MaybeUninit
static mut PACKETS: MaybeUninit<StaticCell<PacketQueue<4, 4>>> = MaybeUninit::uninit();

    // Initialize the PACKETS static variable
    unsafe {
        PACKETS = MaybeUninit::new(StaticCell::new());
    }
```