Re: [PATCH 1/1] efi_selftest: can't have measured device-tree with kaslr-seed