[PATCH 0/3] efi_loader: fix build warnings for initrddump.c