nix: dde_ipxe