[a1k0n]

Oh, yeah. I had to do that for the RISC-V port, too. I'll update the post, thanks.