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