Re: [U-Boot] [PATCH v3 09/12] input: Convert i8042 to driver model