Fix: hdevtools: correct sha256 hash of patch