So the intel Mac mini of a friend decided to start making problems during bootup. Apparently the new firmware update helps here, but there seems to be little hope of installing that as far as I see it ...