Booting NixOS on a Thinkpad, on the summit