13:06:18 <hyc> yeah seems so. for all we know they just built their own AES hardware, ignoring whatever RISC-V crypto specs