Michaela,

Thanks.

One other thing that has occurred to me: is the kernel finding and enabling the
lid switch? What make of laptop is it? Does /proc/acpi/button/lid/LID0/ exist?

It could be a problem at the kernel/harware level.

Mark