Re: [PATCH 09/21] linux: Wipe all memory when rebooting on EFI