x86: Better comments for get_bios_ebda()