K 10 svn:author V 3 dfr K 8 svn:date V 27 2001-09-29T11:44:35.000000Z K 7 svn:log V 119 Add a couple of arguments to ia64_init. I'll use them later to improve the method of passing bootinfo from the loader. END