GIC register save/restore issues during system_suspend

[1084091947]

In the latest codebase’s GIC driver, I can’t find any interface for saving GIC registers, so system_suspend is incomplete.

[jenswikl]

I think that depends entirely on the configuration and use-case.