different times for last boot between last and uptime -s

[Ralf Mardorf]

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.