drivers/media/pci/ttpci/budget-patch.o