Fix timer frequency detection on Sandybridge

[coreboot.git] / src / cpu / x86 / 16bit / entry16.lds

        gdtptr16_offset = gdtptr16 & 0xffff;
        nullidt_offset = nullidt & 0xffff;