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.
Merge branch 'devel' into feature/amd64-kernel
Merge branch 'feature/amd64-kernel' into devel