use new kernel config; add default sd-ext property

Change-Id: I21c803e095faa540f2f4eb65dbc8174e4317547b