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