ret = FdtPathOffset (fdt, "/reserved-memory/splash_region");
  if (ret < 0) {
    DEBUG ((EFI_D_WARN, "Splash region not found in device tree, " \
                        "powering down the display and controller\n"));