Fix gpgx hard reset failing when done multiple times consecutively

[Morilli]

Resolves #4565.

PRing to allow for comment, but can just be merged as-is as far as I'm concerned. As noted in the issue above, I'm not sure what implications this has exactly, but some part of the source code seems to imply that calling system_init is correct when the system is using a bios.

Check if completed:

• I have run any relevant test suites
• I, the commit author, have read the licensing terms for contributors (last updated 2024-06-22) and am compliant