Since these systems come with Core Duo processors, I think they should also support some of the first gen Core 2 Duo mobile chips (I’m thinking like the T7200). Those chips support 64 bit and should be pretty cheap to come by, if you’re willing to do some surgery on the laptop.
Is this the one where Homer gets an RV and sets it up in the backyard?