My understanding is that linux-libre strips CPU microcode as well, which is often used to patch hardware vulnerabilities - what's the recourse for such issues on servers like these, on GuixSD?