Kernel Update

Just for the records: The downtime we have experienced was just a reboot for booting a new kernel to be up to date again