sì 32bit

l'output del comando ripoirtato nell'articolo (grep .HIGHMEM. /boot/config-`uname -r`)

# CONFIG_NOHIGHMEM is not set
CONFIG_HIGHMEM4G=y
# CONFIG_HIGHMEM64G is not set
CONFIG_HIGHMEM=y

mi sa che devo ricompilare il kernel :-(