This is all very strange. What do you get if you run the command driverless This should make the printer's IPP URI appear. Now run driverless [IPP URI] > out.ppdwith [IPP URI] replaced by the printer's IPP URI, the output of the first command.
out.ppd then is a valid and working PPD for your printer, using it in driverless mode.
Till