Re: [PATCH 1/1] bootm: don't call booti_setup for EFI images