Re: Pinebook Pro keyboard (RK3399 OHCI)?