Die bieten das für 10 Euro zum Download und selber machen an. Im Prinzip geht es nur darum in Linux zu booten und von dort einen Einzeiler in die Firmware zu schreiben, der die Grafikkarte deaktiviert.