..does not work. wget -6 http://code.coreboot.org/p/seabios/downloads/ redirects to P/seabios/downloads and gives 404 error. wget -4 of the same URL returns normal index page. That's just a heads-up. I don't immediately see coreboot.org contacts, so I thought I'd wrote here at least. Thanks, /mjt