Re: [PATCH] i8042: Do not abuse CONFIG namespace