[dtc] Add support for flat device tree format version 17

[Mark A. Greer]

On Tue, Mar 13, 2007 at 05:22:40PM +1100, David Gibson wrote:
> Index: dtc/dtc.c
> ===================================================================
> --- dtc.orig/dtc.c	2007-03-13 16:37:01.000000000 +1100
> +++ dtc/dtc.c	2007-03-13 16:37:17.000000000 +1100
> @@ -113,7 +113,7 @@ int main(int argc, char *argv[])
>  	int opt;
>  	FILE *inf = NULL;
>  	FILE *outf = NULL;
> -	int outversion = 0x10;
> +	int outversion = 0x11;

Super-minor nit but since you seem to refer to the version as decimal
'17' everywhere else, why don't you just put '17' here?

Mark