Build with @hardslog's kernel