[PATCH 1/3] kexec/ppc64: move to device tree version 17