[Tecnica] cross compile

[Luigi]

Mi sono trovato nella necessità di dove ricompilare il kernel su una
macchina x64 per un macchina x32 (un accidente di Toshiba che rischia di
cuocersi perché la ventola non parte perché il kernel - ubuntu natty -
non ha abilitate le estensioni ACPI per i Toshiba); dopo vari tentativi
sono arrivato al punto in cui sembrava funzionare, ma in realtà gcc
s'incazzava perché è fatto per x64 ... ??? ... e ora? ...
Per ora ho risolto con un lacchezzo, ho installato su VirtualBox una
macchina x32 e sembra che funzioni, ma dovrebbero esserci soluzioni più
canoniche, o no? ... ;-) ...
Grazie in anticipo per i suggerimenti.