Rootpipe gefixt, sogar bei 10.9, wenn nicht 10.8.
EFI root bei allen betroffenen Macs gefixt.
Jetzt fehlt noch der Keychain-Bug.