1. 2020-01-21 Re: [PATCH 2/3] x86/boot/compressed: relax sed symbol linux-efi Nick Desaulniers 2. 2020-01-18 [PATCH 2/3] x86/boot/compressed: relax sed symbol typ linux-efi Ard Biesheuvel