[Xenomai-core] X86 kernel configuration checklist

Hi, I added a new page on the wiki: http://www.xenomai.org/index.php/Configuring_x86_kernels and tried and reference it in various places (Debian packages, FAQ about x86). Please feel free to complete and revise it. The intent is to use it as an answer to new comers questions, instead of

[Xenomai-core] Wiki: add a request for information page

Hi again, a second page for answering mails, here is a page intended to answer mails which do not contain enough information. Again, please feel free to edit. TIA, -- Gilles. ___