Changed boardconfig.mk for SimpleKernel

Change-Id: Ifafb3c3b27d81ccef51d1c275ab183d33ca24a2e