Call piix3_reset() on system reset.