base: hand over Pd_connection label to Platform_pd

fix: #656
base-hw: store Platform_pd pointer in Kernel::Pd

This enables the kernel to print out the label of the program
a thread belongs to.

fix #662
base: bug in util_mmio.run

Fix #659