OK, checked BIOS. Yes, normal brightness is selected. (Battery ok else clock would slip. Indeed, reboot resets brightness, not just cold power down and back up.)