Update idt.h, types.h and idt.c (see comments for more info)