Make minor style changes
Refactor SMPC peripheral to ready for 255B-mode

We also want to fetch more than just peripheral data. For this, the
System Manager IRQ will be fired multiple times.