Hi,
One thing that might be worth considering is to have preliminary seabios support for booting. Gerd does have something in the queue there ;).
Not in the queue, it's upstream. Just pull latest seabios. As it didn't got much testing yet it is off by default, so make sure to flip CONFIG_AHCI. Thats it ;)
cheers, Gerd
