Re: [SLE] Compiling User Mode Linux kernel