a26da2bf55
The EBDA is the 1 KB area addressed by the 16 bit pointer at 0x40E. Pointed out by: robert.moore AT intel.com