So, I open a support ticket, and without answering it, it was closed. Then I try by phone, reaching a lady in Poland that barely speaks German (I called HP Support Switzerland), let alone understand the problem and here in the forum, there are apparently no official supporters.
This is what we get for buying a 20K $ PC. Let that be a lesson for all you others out there. HP offers nice products at competitive prices but the support is inexistent, so you better hope there are never any problems. You might get to hear some unfriendly person on the phone saying that HP doesn't support RAID10. Oh really? But I bought the controller with the workstation from you, so you better at least give me a number to call.