Looks like it's probably going to be a bit more complicated than that:
I have tried removing the intel device from the PCI bus, by means of the fake pci hotplug driver:
(with nomodeset kernel...