[U-Boot] [PATCH v3 1/1] vsprintf.c: add EFI device path printing