[Alug] debian kernel source problem