setup-makefiles: Fix typo

Change-Id: I7c8dbd424053e32745330a93171a3291698855c8
Add falcon to device asserts

Change-Id: Ibf548d9e7d8b9c4dc00570284c6ebc282d5105c9
Merge branch 'cm-11.0' into kk_mkt