samsung: Enable device tree for smdkc100