I found that the fix was to boot with the option "acpi_sleep=nonvs". To do this, I added this text to /etc/default/grub, under the variable GRUB_CMDLINE_LINUX, which was an empty string. I then did "sudo update-grub" to publish the changes. From then, resume works, both from a suspend via the shutdown menu, and from closing and opening the lid.