In realtà no, nonostante quanto riportato dal changelog dell'ultimo kernel (che ho corretto qualche decina di ore fa). Però ho creato un nuoto target del kernel chiamato mamba-64GB che sarà disponibile tra poche ore e per utilizzare il quale occorrerà installare (con apt o synaptic) tutti o quelli che servono tra i seguenti pacchetti:

kernel-mamba-64GB kernel-mamba-64GB-extramodules kernel-mamba-64GB-lirc kernel-mamba64GB-ndiswrapper kernel-mamba-64GB-nongpl-nvidia_173x kernel-mamba-64GB-nongpl-nvidia kernel-mamba-64GB-nongpl-nvidia_71xx kernel-mamba-64GB-nongpl-nvidia_96xx kernel-mamba-64GB-nongpl-softmodems kernel-mamba64GB-sound-backport kernel-mamba-64GB-wireless

Più eventuali dipendenze richieste.

Il tutto non è ancora stato testato, tranne il fatto che i due kernel mamba e mamba-64GB possono essere usati uno alternativamente all'altro, quindi se ci sono problemi nell'installazione del kernel mamba-64GB, si può comunque avviare il computer con il kernel mamba.

Quindi, nel prossimo snapshot settimanale sarà possibile scegliere il kernel 64GB?

Ma sarà chiesto in fase di installazione?

No per adesso andrà installato successivamente. Aggiungere un target apposito non è strettamente necessario ed è troppo costoso in termini di risorse attualmente disponibili.