random: use the architectural HWRNG for the SHA's IV in extract_buf()