Adjust some more files for dports.
ppbus.4: Mention DEBUG_1284.