SGX-BIN: DDK binaries and KM source 1.9@2291151

Includes new pixel formats.