[Etherboot-developers] [COMMIT] BOOT_INDEX support....

[<ebi...@ln...>]

I have just committed a small change that allows you to specify
which NIC of several in a machine you want to boot from.  Under LinuxBIOS
this is settable at runtime where it extremely valueable, for the rest
it is about 5 lines of code so it should not hurt and it may even
be handy.

Eric