[PATCH] EFI Loader: use correct arch suffix