Sorry, I forgot to mention that I did also uncomment the line -DLINUXBIOS ... but then etherboot do not compile. Also, "make bin32/via-rhine.ebi" doesn't work. The only compilation I did get was with default config (Config) and using "make". This leaves all the images under bin32, but no .ebi file...