Linux noob - how to install LibreELEC on Radxa RK3399 with an SSD