config: enable PPP over synchronous (HDLC) tty devices and optimized ARM RWSEM algorithm