hal/hal_utils/dispatch_table.*: add mini-rpc mention

THe original idea for this dispatch table is from the
repository mini-rpc, located on
"https://github.com/a-rubini/mini-rpc", by Alessandro Rubini
and others;