Oh, I only realize now that I made the mistake of trying "IA64" instead of x86_64, of course. Going to try with the right Debian image. Thanks for spotting this! Christian.