Same here. I have a Samsung NC10 netbook with that same CPU which I recently converted from Debian to NetBSD when they dropped 32-bit support.

I still have my NetBSD-running MSI Wind around somewhere...

Acer aspire one with NetBSD