ok, there was indeed a "RTC Alarm: disabled" option in the BIOS. But no
matter how many of those resume-alarm options i enabled, the kernel
thinks there's no time capability:
[ 23.541565] Calling initcall 0xc0c49e00: be_sleepy+0x0/0x170()
[ 23.547840] PM: no wakelarm-capable RTC
[ 23.549566] initcall 0xc0c49e00: be_sleepy+0x0/0x170() returned 0.
i could set date/time of wakeup alarm in the BIOS, so i suspect the chip
itself is capable of it. Bootlog and kernel config attached. (maybe i
misconfigured something?)
Ingo