Re: [U-Boot] [PATCH 24/28] x86: Add an i8042 device for boards that have it