fix kernel build script