Re: [OpenBIOS] ia64: how do we do BIOS? EFI?