we fixed a number of bugs on the build hosts, unfortunately there is still one bug which let's the 64bit build hosts crash rather soon.
Therefore all systems run 32bit OS only for the next two days. This means no 64bit builds will start. Additionally, we have reduced number of build hosts, because the systems can not access all their memory.
Our kernel people do work on the remaining issue with high priority, so it get hopefully fixed quite soon.
happy and sunny weekend adrian