HACK: add kernel headers