RealTek 8139C+ incorrectly identifies UDP checksum 0xffff as bad.
Force software recalculation of UDP checksum if bad checksum is
reported by the hardware.
PR/49281: John D. Baker: fix debugging format
XXX: pullup 7