Specify core in ControlBlock GetRegistrationPoints (#4)
Specify core in ControlBlock GetRegistrationPoints (#4)

Signed-off-by: Piotr Zierhoffer <e1d19b12230bfc9d1ee7dc1e438ebc847bc06dad@antmicro.com>
AmbiML/iree-rv32-springbok,AmbiML/iree-rv32-springbok,AmbiML/iree-rv32-springbok,AmbiML/iree-rv32-springbok,AmbiML/iree-rv32-springbok