[doc] Update some FFI details
[doc] Improve FFI constant table in spec