Is it possible to boot LibreELEC on RPi4 using SD card for system and USB for storage?