Re: [coreboot] PS/2 Mouse on KGPE-D16