[LEDE-DEV] Unable to execute programs on sd card

[Arjun AK]

Hi,
	I'm trying to run LEDE kernel + Debian on my Linkit 7688 board. I've 
managed to get it working on a card reader connected via USB, but when i plug 
in the exact same card via the onboard sd card slot, init crashes with the 
following error

[    3.372636] do_page_fault(): sending SIGSEGV to init for invalid write 
access to 00000018
[    3.388869] epc = 777d6450 in libc-2.24.so[77760000+16c000]
[    3.399939] ra  = 777c5488 in libc-2.24.so[77760000+16c000]

Do i need to enable any kernel paramaters?