* started to implement PCIe specific code
* fixed some bugs along the way

* libplatform now automatically logs the contents of perf when
  destroying the device
* fixed awkward platform_destroy_device: can be destroyed by
  pointer now, not only id

* minor memory leaks fixed
* destroy sequence fixed
* using DEV logging macros

* default implementations use ioctls, specialized implementations
  may choose a different route per platform
* using deinit everywhere in userland code instead of exit
* several other changes in build configs etc.

* much of the basic initialization can now be generalized and
  re-used for all platforms
* implemented libplatform support for querying, creating and
  destroying devices
* added platform_ctx_t and platform_devctx_t distinction, to
  reflect the platform / device level
* platform_ctx_t holds the refs to the static TLKM interfaces
* platform_devctx_t contains access to dynamic files etc. available
  only after the device has been created
* ported generic modules to new TLKM interfaces
* will need some mechanism to patch-in the board-specific code
* also, will need to implement more calls, e.g., read and write:
  if mmap is available, that is always the best solution; only use
  the TLKM interface, if mmap is not possible
* most of the that code should be generic, too