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