[PATCH v4 0/4] kernel.h: Split out a couple of macros to args.h