Bug#1141969: linux-image-7.1.3+deb14-amd64: Cannot shutdown computer

[simon]

For me 7.1.7 works with the blacklisted sp5100_tco module so far. it 
always shuts down and even reboots work.