EFI boot fails

[Ayad Mostafa]

hello l4-hackers,

i'm trying to boot l4 on intel galileo board, but i'm getting error 13 from 
grub "Error 13: Invalid or unsupported executable format".

the error is generated after issuing
  kernel /bootstrap -modaddr 0x01100000

here is my grub.conf
title hw_test0
    root (hd0,0)
    kernel /bootstrap -modaddr 0x01100000
    module /fiasco -jdb_cmd=JS -serial_esc
    module /sigma0
    module /moe rom/lwip.lua
    module /l4re
    module /ned
    module /io
    module /ankh
    module /ankh.vbus
    module /lwip.lua
    module /Aw.lua
    module /hw_test0

the same setup was tested successfully under qemu

i appreciate any help

thanks in advance