Add option for rich-core-dumper

[config] CONFIG_CHECKPOINT_RESTORE is used by rich-core-dumper to collect all info about the environment.

Signed-off-by: Marko Saukko <marko.saukko@jolla.com>