use new kernel config; add default sd-ext property

Change-Id: I324b5266d951a2b1d1e19eb6b0e211999965ae18