0x00000000:0x00000fff descriptor 0x00001000:0x00002fff gbe 0x00003000:0x003fffff bios