USB not recognized in BIOS - Librem Mini V2

Was it this topic?