Using an ntp service

[Adam Mazurkiewicz]

I have tried some elementary guix config.scm files with a
%desktop-services variable appended to services. They should bring the
ntp service as one can see in
https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/services/desktop.scm#n1083
file.
I expected that it would sync system time, but it did not. I have
still been getting the time of my computer BIOS in a terminal, not the
synced one. Also in Xfce DE Clock. I have no idea how to debug it and
fix. Any help will be appreciated.