dde_ipxe: use recent iPXE upstream version