Reproducible on BIOS 309 (latest). After resuming from sleep ON BATTERY, all CPU cores are pinned at the 400 MHz hardware minimum for 10-30 seconds, roughly a 10x loss of performance. The processor reports the cause as a PL1 package power limit - but...