@dpflug what is the current guixsd stance on things like important microcode updates for security vulnerabilities?