how do GUIX configuration definitions, including the signed-boot parts, fit into the future here?