Buildfarm died.

[Jan Holzhüter]

Hi,
the buildfarm can't fork anymore :)
core and reboot in progress.

Greetings
Jan