Source: https://www.debian.org/releases/wheezy/ia64/install.pdf