Re: [coreboot] PS/2 keyboard/mouse not working on IT8712F (here: Asus A8N-E)