I can't find any information about the way tmpfs_size is calculated, but on two boxes, it is the half of system memory. The problem is that on one I get /lib/init/rw and /dev/shm sized to 1.8 Gbytes and the other sized to 500 Mbytes, which seems to be very very much just to keep a few Kbytes.