x86, doc: Document that bootloader ID 4 is used also by iPXE
authorH. Peter Anvin <hpa@linux.intel.com>
Thu, 13 Dec 2012 04:28:39 +0000 (20:28 -0800)
committerH. Peter Anvin <hpa@linux.intel.com>
Thu, 13 Dec 2012 04:28:39 +0000 (20:28 -0800)
Etherboot -> gPXE -> iPXE...

Signed-off-by: H. Peter Anvin <hpa@linux.intel.com>
Cc: Michael Brown <mbrown@fensystems.co.uk>

No differences found