With a choice of kernel versions, and even a 32-bit edition