Hi,

noticed yesterday, booted & tested x86_64-linux. Ok?

Thanks,
Paolo.

//////////////////////