kernel builder command typo