Now, we must specify the base SMIO core address and its
instance. In the future, these parameters will be set
by the SDB subsystem.

This is part of the github issue #23