5d555e0a45
and one for Makefile options, pass in the list head and use a common newopt() routine. Fix the 'config vmunix' support glue which was broken for a few minutes.