Building hardslog's kernel