If I add the kernel parameter acpi_sleep=s3_bios the symptoms go away (i.e. no more bug to report). I don't know if this counts as fixed or not.