Re: [PATCH] EFI Loader: use correct arch suffix