* platform/k1-nodeos/odp_timer.c: Less locks
* platform/k1-nodeos/odp_timer.c: Less locks

kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa