Hello,
you talk about hardware timers that are on the chip but Mbed::Timer is more software timer based on one hardware timer what was dedicated for system operations. In case for F767ZI it is TIM5.
If you need use hardware timers then you have to initialize them by your self via HALs.
BR, Jan