Edit Boardconfig for Preubuilt kernel

Change-Id: I2b899ce995e7dd76ea4d8af31dd239c0e5edcb4c