The thing is, I don't even get to the point where the allocation fails. Could be something I've done with the device (though haven't hacked the kernel or anything like that). Maybe I'll reflash the entire device, if I feel up to it.