Если очень страшно настраивать BIOS,
Не очень страшно. Просто я ничегошеньки в этом не понимаю. Когда-то (в 90-е, начале 2000-х) запросто лазил в BIOS и менял что надо. В основном на общественных компах. А с годами как-то выработался подход: не надо чинить то что не сломано.
Вот сейчас тьфу-тьфу работает нормально комп.
Как понял, 500 Мегов скачивать больше не надо. Кстати, каталог WSL занимает на диске 838 МБ.
Если очень страшно настраивать BIOS, можно попробовать сменить версию WSL на первую
wsl --set-version <DistroName> 1
DistroName посмотреть тут:
wsl --list --verbose
Спасибо. Где эти команды давать? И не потребуется ли перезагрузка?