In the daily builds there is a mintnp and a mint117 kernel, what are they ? I thought that the non-memory protection version had gone long ago with MP being controlled from the mint menu. Regards, Peter