Update idt77252.c

updated from www.kernel.org