update for 10.9.3, change graphics platform id, newer kernel, removed binaries