Documentation: Docbook: Fix files location change of kernel/[hr]timer.c