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