@agurenko: Looks like a BIOS bug that wasn't detected by the previous kernel. I have "ACPI BIOS Error (bug)" messages in my dmesg output which have been there for a long time, but vaguely remember noticing some of them for the first time after kernel updates, but with no change in functionality. Unfortunately there will be no further BIOS updates for my machine.
Bodhi apparently has a bug where having enough stable karma doesn't trigger a push to stable if it happens before the test gating status changes to 'passed', and to trigger it there has to be a comment with +1 karma after, a simple bump comment like this won't do it. (I believe if one of the people who already gave a +1 does it again, that will work.) Is this bug known?