[PATCH 1/1] efi: fix devpath_is_partition()