fix build-kernel script