[OpenBIOS] Extended BIOS Data Area (EBDA)