It turns out that the failure to switch off that I experienced was related to the need (on the EeePC 701) to add "rmmod snd-hda-intel" to /etc/halt.
It turns out that the failure to switch off that I experienced was related to the need (on the EeePC 701) to add "rmmod snd-hda-intel" to /etc/halt.