gnu-efi falsely declares a return type for ResetSystem when it should be void. The spec also says that it never returns, so just assert.
gnu-efi falsely declares a return type for ResetSystem when it should be void. The spec also says that it never returns, so just assert.