Librem 15v3 won't boot

The solution is simply to reinstall on the faster disk (M.2). Our OEM installer had troubles recognizing the fastest disk before, but I think this is fixed for some time already.