hw: don't preserve mmio of core devices

Fixes #1269
hw/rpi: USB SOF interrupt filtering
dde_linux: USB SOF IRQ filter for Raspberry Pi
libports: rpi support in lwip.run
ports: rpi support in netperf run scripts