fix PIC0 to PIC1 in inthandler2c() in int.c
format