The problem was caused by a spurious IOResourceMatch key in the dext IOKitPersonalities, left over from the initial Xcode project template. After deleting the key all seems ok (as you would expect!).
Topic:
App & System Services
SubTopic:
Core OS
Tags: