the workaround was the same as described in https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1491467
echo "disable" > /sys/firmware/acpi/interrupts/gpe13
the workaround was the same as described in https:/ /bugs.launchpad .net/ubuntu/ +source/ linux/+ bug/1491467
echo "disable" > /sys/firmware/ acpi/interrupts /gpe13