[patch 10/10] x86: use get_bios_ebda()

Printable View