hum, one question... do we really need to flash the kernel, or just dpkg the kernel modules is enough ???