Android-x86のhoudiniはどこから来ているのか

Android-x86プロジェクトはCyanogenModベースのAndroid x86インストールイメージを配布( http://www.android-x86.org/download )している。これはPC版RemixOSのベースにもなっていて、実はこれらにはIntelのhoudiniが何故か含まれておりARMバイナリを直接実行できる。
Android-x86はGPLで配布されているのでソースコードを見ることができる。

• http://git.osdn.net/view?p=android-x86/vendor-intel-houdini.git;a=summary

...中身が無い！:

#!/system/bin/sh

get_url()
{
	u=0
	urlx[0]=http://goo.gl/IP06KC
	urly[0]=http://goo.gl/E9rgu3
	urlx[1]=http://t.cn/Rb8w016
	urly[1]=http://t.cn/Rb8wO1f
}

これらのURLから直接.tgzをダウンロードしていて直接展開している。短縮URLを展開すると:

• http://goo.gl/IP06KC
  • → http://dl.android-x86.org/houdini.php?v=4_32 → http://dl.android-x86.org/houdini/4_32/houdini.tgz
• http://goo.gl/E9rgu3
  • → http://dl.android-x86.org/houdini.php?v=4_64 → http://dl.android-x86.org/houdini/4_64/houdini.tgz
• http://t.cn/Rb8w016
  • → https://www.openthos.org/houdini/4_32/houdini.tgz
• http://t.cn/Rb8wO1f
  • → https://www.openthos.org/houdini/4_64/houdini.tgz

(ちなみにRemixOSではGitHubに直接コミットしている https://github.com/JideTechnology/remixos-device-generic-common/tree/jide_x86_lollipop/houdini )
内部にはARM版のAOSPビルドと本体であるlibhoudini.soが含まれており、libhoudini.soだけx86 ABIになっている。
追記: 今はこっちを使っているようだ

• http://git.osdn.net/view?p=android-x86/device-generic-common.git;a=blob;f=nativebridge/bin/enable_nativebridge;h=97274a85abd7c7f0a51236cb4cd8312c941c3c51;hb=refs/heads/cm-14.1-x86

.tgzの代わりにSquashFSイメージとしている(何故?)。

• https://android.googlesource.com/device/asus/fugu/+/android-cts-7.1_r1/proprietary-blobs.txt

NexusPlayer(fugu)のproprietary-blobsリストの内容と.tgzの内容は良く一致している。が、例えばlibemoji.soのようにAndroid-x86側に存在しないものもある。欠けているライブラリには例えばlibc++.soが有るので、おそらく5.0.0以前のAndroidで、かつ、Intelのものを取ってきた可能性が高い。
ちなみにAndroid-x86はIntel自身のAndroidプラットフォームサポート(Android-ia https://github.com/android-ia )より歴史が古く、しかもAndroid-iaは-x86のグラフィックスHALであるdrm_grallocを採用している。(もっとも、drm_grallocは今はAOSPにも含まれている -- 例えばこのコミット等Android-x86に由来するものも存在する https://android.googlesource.com/platform/external/drm_gralloc/+/68a74eb31f139ad285a49451cf2ca8271c54f9bb )