Re: [coreboot] SeaBIOS mouse