livecd-creator does not create EFI-enabled iso?

[Steven Shiau]

I'd like to use livecd-creator to create an EFI-enabled iso on my Fedora
17 x86-64 machine.
I used this command to create the live iso file:
livecd-creator -v --config=./livecd.ks --cache=/var/cache/live

The content of livdcd.ks is:
=====================
lang en_US.UTF-8
keyboard us
timezone US/Eastern
auth --useshadow --enablemd5
selinux --enforcing
firewall --disabled
part / --size 1024

repo --name=releases
--baseurl=http://free.nchc.org.tw/fedora/linux/releases/17/Everything/x86_64/os/
repo --name=updates
--baseurl=http://free.nchc.org.tw/fedora/linux/updates/17/x86_64/


%packages
@core
anaconda-runtime
bash
kernel
passwd
policycoreutils
chkconfig
authconfig
rootfiles

%end
=====================
It successfully created the iso, but the generated iso does not contain
any EFI booting mechanism:
$ dumpet -i livecd-livecd-201206091639.iso
Validation Entry:
        Header Indicator: 0x01 (Validation Entry)
        PlatformId: 0x00 (80x86)
        ID: ""
        Checksum: 0x55aa
        Key bytes: 0x55aa
Boot Catalog Default Entry:
        Entry is bootable
        Boot Media emulation type: no emulation
        Media load segment: 0x0 (0000:7c00)
        System type: 0 (0x00)
        Load Sectors: 4 (0x0004)
        Load LBA: 37 (0x00000025)

So my question is, how can I make an EFI bootable iso file? Just like
what Fedora 17 live CD Fedora-17-x86_64-Live-Desktop.iso has.

Thanks in advance.

Steven.
-- 
Steven Shiau <steven _at_ nchc org tw> <steven _at_ stevenshiau org>
National Center for High-performance Computing, Taiwan.
http://www.nchc.org.tw
Public Key Server PGP Key ID: 1024D/9762755A
Fingerprint: A2A1 08B7 C22C 3D06 34DB  F4BC 08B3 E3D7 9762 755A