За 4 года пока никто такой kext не написал. Практически это реально, но вопрос стоимости, времени и наличия документации.
На мой взгляд лучше взять ESI Juli@ XTe или аналогичную карту с поддержкой OS X от производителя. Скорее всего это будет дешевле, чем написать драйвер.
