Merge branch 'mdc-working' of ssh://git.etherboot.org//pub/scm/people/mdc/gpxe