Changed boardconfig.mk for SimpleKernel

Change-Id: I3572bf833973543037a175478c2a66504d2792e3