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.