Fix >4G issue on IDT not restored correctly.