remove obsolete build-kernel script