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