[LinuxBIOS] The question about IDT.