Changes

{{ImportantMessage|text=The <pre class="workstation-terminal">make linux</pre> command will fail complaining about a missing .config file if launched before preparing the kernel configuration as described above}}