This patch fixes the EBDA mislocation problem. Thank you, Yinghai.
The change in coreboot_table.c is not strictly necessary. It removes some redundancy and confusion.
The change in tables.c protects the legacy x86 BIOS data segment (0x400-0x4ff) from being used for storing coreboot tables. Some bytes from the segment are used by the kernel and should not be garbled.
Signed-off-by: Roman Kononov kononov@dls.net