wiki:system:debian_kernel_update