PIC_SEOI_LVL7
outb(SCMD_PORT, PIC_SEOI_LVL7);
outb(MCMD_PORT, PIC_SEOI_LVL7);
printf("#define\tPIC_SEOI_LVL7 0x%x\n", PIC_SEOI_LVL7);