Fixed issue with kernel buildfile