printk("@starting kbd init ...\n");

    /* Send the "disable scanning" command 0xF5 to the device */
    outportb(0x64, 0xf5);

    /* check for the device to send "ACK" back (0xFA) */
    while(inportb(0x60) != 0xfa);

    printk("@ps2: device acknowledged disable scanning!\n");

    /* Send the "identify" command 0xF2 to the device */
    outportb(0x64, 0xf2); // buggy line. this line is causing bugs

    /* Wait for the device to send "ACK" back (0xFA) */
    while(inportb(0x60) != 0xfa);

    printk("@ps2: identify command acknowledged!\n");