C6X had no defconfig, so DSK6455 is as good as any.
Signed-off-by: NMark Salter <msalter@redhat.com>