Why do people disappear right when we're close to a solution ? <-- only kiddin
For now .. you should be able to boot by turning on the NC10, then immediately hitting and holding the "Shift" key.
Eventually you will be presented with the GRUB menu
hit the down arrow key to select "Advanced options for Peppermint" and hit enter.
select the 3.8.0-23 kernel (probably the top option)
and hit enter to boot.
That will boot you into the original kernel which seems to be OK.
We'll fix 3.8.0-25 when you're ready.