Add some utility functions and mapping between Epiphany core IDs and
RTEMS linear processor IDs. Working fine and tested over GDB.

Begin with just two CPUs. Note, I have to add "_" because GCC always
add it to C symbols.