add types.h from kernel for some marco.