Não sei bem por que você está pensando em ter um "segmento de timestamp" , no meu entender o kernel precisará configurar o driver para ativar o registro de data e hora do hardware e executar um PTP daemon de escolha ( ptpd , open-avb-gptp , linuxptp ) para implementar o protocolo de sincronização do relógio em si.
No lado mbed, não há atualmente nenhuma API que você possa utilizar, mas eu comecei discussão na lista que você provavelmente deveria participar.