size calculation. * grub-core/kern/i386/realmode.S (realidt): Assume default BIOS IDT if none is known.