libtx2bpmp: Use device tree for addresses Extract MMIO addresses from the provided device tree. Also use PS_DRIVER_MODULE_DEFINE for registering the tx2_bpmp driver as a driver with the framework for initialization.
Platform independent libraries