Re: [U-Boot] [PATCH 3/5] x86: i8042: Clean up the driver