Anyway, I have fixed that, and made it build successfully, so without futher ado, an AOSP (no google proprietary apps etc) build of 4.3 for the Nexus 10. The fixed vendor blobs are available at https://github.com/pulser/vendor_samsung_manta for anyone wanting to build themselves, and all can be verified, as they came from the "Factory Image" of 4.3 for the Nexus 10.
This is a pure AOSP build, there is no boot animation or any other "Google" things - just a plain, pure, AOSP build.
Enjoy, and this can be rooted using Chainfire's current 4.3 root method using SuperSU, which is detailed at https://plus.google.com/+Chainfire/posts/WqS2E9kkN1L
Feel free to use, share, re-use, distribute, copy, paste, mirror, ignore, root, tweak, patch or mod. I am not like certain individuals who go ZOMG NO MIRRORS PLEASE... Go on, mirror, make a torrent if you want, and share it if anyone actually cares about this
Magnetic Field Sensor
Brightness Sensor (and Autobrightness)
Seemingly not working:
Proximity sensor (not detected, but apparently has one)