another hardware "bleed"

[Mihai Popescu]

For the late comers to the party, see [1].

[1] https://www.hertzbleed.com/