[PATCH v2 0/4] kernel.h further split