samsung-np900x3c.nix: add SSD optinos
devenv.nix: add patchelf to the list