[PATCH 074/171] Correct SPL use of EFI_DEVICE_PATH_UTIL