Add NoC management functions to Patmos CPU