[PATCH v4 0/7] kernel.h further split