Re: [U-Boot] [PATCH 26/28] input: Convert i8042 to driver model