kernel_args.h revision f1244978
1