[PATCH 0/2] boot: enable compliant booting on EFI systems