Building hardslog's unified kernel