Hi Matt, thanks for the advice. I have to learn many things about how the kernel is handled in Ubuntu / Debian. Could someone change the documentation on the website to include this advice? Thanks in advance André