I did stumble across one remedy: plug in ac-adapter, unplug it, plug it in again, and the charging begins. well, not straight forward, but painless enough.
-- To UNSUBSCRIBE, email to debian-laptop-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org