Librelec does not boot from SSD on raspberry pi 4