use l4_vcon_read/write from within RTEMS and not via library