Create schedos-kern.h