Re: [U-Boot] [PATCH v3 4/7] x86: i8042: Correctly initialize the controller