bootloader support for DTB on x86

Hi,

I was looking at booting an x86-based platform using DT. However I wasn't
able to find a bootloader that supports this. There also doesn't seem to be a
method to append the DTB to the zImage (which I wouldn't want to use anyway).
Does anybody know of a bootloader that supports this?

I'm currently using syslinux (specifically extlinux) and was looking at
perhaps adding the support myself based on the information given in
Documentation/x86/boot.txt. However I'm not overly familiar with syslinux
code and this could prove more difficult than I anticipate.

The only x86 platforms that use DT seem to be OLPC and CE4100 and according
to the web the OLPC has a complete OF implementation. Does anyone know which
bootloader the CE4100 uses?

Thierry