<p dir="ltr">Good. Build yourself another kernel for development and stick with the working one for work then.</p>
<div class="gmail_quote">On Jun 25, 2014 10:40 PM, &quot;Javier&quot; &lt;<a href="mailto:quaere1verum@gmail.com">quaere1verum@gmail.com</a>&gt; wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Jun 25, 2014 at 4:37 PM, Kristofer Hallin <span dir="ltr">&lt;<a href="mailto:kristofer.hallin@gmail.com" target="_blank">kristofer.hallin@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><p dir="ltr">Your boot loader (grub?) can&#39;t handle multiple kernels?</p>

</blockquote><div>It can. </div></div><div><br></div>-- <br><div dir="ltr">Javier Pajuelo<div><br><div><br></div></div></div>
</div></div>
</blockquote></div>