Core dump does not contain the section ".reg"

[William Tambe]

In our port, we have implemented core dump support in the Linux Kernel
as follow:
https://github.com/fontamsoc/linux/commit/b6d6b0e2df6996ef67eb976ea880f5aaa8f8c7d7

We enable core dumping using:
ulimit -S -c unlimited
echo '/tmp/%e_%p_%h_%t.core' > /proc/sys/kernel/core_pattern

Core dump generated does not contain the section ".reg".

Any idea what else needs to be enabled in the Linux Kernel to have the
section ".reg" generated in the core dump file ?