WIP: Add simple registration of platform devices

TODO:
* The idea for this came from Maíra originally, and they should probably be
  the commit author (we'll fix that before final submission because credit
  is important :3, right now it's just a bit easier to rewrite the commit)