Install amd64 kernel instead of 686-pae one: a 64-bit kernel will be required for UEFI boot on 64-bit hardware.
Merge branch 'devel' into feature/amd64-kernel
Use the 486 kernel on 32-bit CPU with PAE.
Merge branch 'devel' into feature/amd64-kernel
Update the website accordingly to the 686-pae -> amd64 switch.
Adapt Cucumber features accordingly to the 686-pae -> amd64 move.
Make it clear that we ship Linux, not another kernel provided by Debian.
Document that both 64-bit and 32-bit kernels are available + the auto-detection mechanism.
Don't include APT lists and downloaded .deb's in the ISO (Closes: #6390).
Merge branch 'devel' into feature/amd64-kernel
Merge branch 'bugfix/6390-dont-include-APT-lists-and-cache-in-the-ISO' into devel
Merge branch 'feature/amd64-kernel' into devel
Merge branch 'devel' into feature/wheezy