Cadmium: Debian Linux installer for some RISC laptops and Arm Chromebooks