void eeprom_update_dword(uint32_t *__p, uint32_t __value)
Update a 32-bit double word __value to EEPROM address __p.