Update BoardConfig.mk: Use Stock Kernel

Lets see if we still get some random reboots with stock Mako kernel compiled with Google GCC 4.8