PXE: use ddprintf macro