Changed boardconfig.mk for SimpleKernel

Change-Id: I37ee3fed89c565417508a726f14ae11f9be45910