To be more precise, if you reboot and take a look at the BIOS, the time shown by the BIOS is most likely 1 hour behind CET, but exactly UTC. Without doubts the time shown by the BIOS on my machine is exactly CET, but one 1 in the UTC future.