Building kernel modules for L4Linux