Re: [U-Boot] [PATCH v3 07/12] x86: Add an i8042 device for boards that have it