A hardware watchdog for a Raspberry Pi using an AVR