Switch to robbies slim flo kernel

Change-Id: Ifd013fbe9ad8726d160f62d24ce37b638ec46f3c
Use sabermod 4.10 as kernel default

Change-Id: I830f3c8c7126db5f2a6d7db774d31f4214ff6378