The value set here does not correspond to any valid value in
sdkddkver.h; it is a mystery what setting an invalid value is supposed
to achieve.

Change-Id: I76b1da148806e249870154efda3e6c4fa20010bf