ivory-tower-freertos: fixes for ivory lang addrOf change