Template: raspbian-nspawn-64/arm_64bit
Type: boolean
Default: true
_Description: Enable 64-bit kernel?
 This package requires use of the (official) 64-bit kernel. To
 do so, arm_64bit=1 must be set in the file /boot/config.txt.
 .
 Please indicate if you would like this setting applied for
 you during the install.
 .
 NB: you will still need to reboot, once installation is complete,
 to start using the 64-bit kernel (and this package).
