[OS-BUILD PATCH 4/7] Only enable SERIO_LIBPS2 on x86