A linkeket köszönöm, már próbáltam őket, de nem mentek (lévén, hogy hivatalos debianos leírások, valószínűleg csak az én ügyetlenkedésem folytán).A probléma közben megoldódott egy elég favágó, de annál egyszerűbb módszerrel: A hiányzó firmware ".deb" csomagként a live rendszerre való feltelepítése után a gépet elküldtem aludni (suspend), és a felébresztése után autómatikusan betöltötte a firmware-t. Lám-lám, egy kiadós alvás sok dolgot megold