Linux on Samsung Chromebook Plus (Kevin) with Rockchip RK3399 ARM SoC (2024)devkitsune.net38 pointstransputea year ago