Как перезагружать ноутбуки Dell ночью, даже если они спят

У нас есть корзина для ноутбука с набором Dell Latitude 5490 под управлением Ubuntu Desktop 18.04. Я бы хотел, чтобы они перезагружались по ночам в 4 часа утра. Работа cron достаточно проста, но она никогда не запускается, потому что ноутбуки находятся в спящем режиме с закрытыми крышками.

Я посмотрел на rtcwake, но документация сбивает с толку - RTC, BIOS и аппаратные часы - это разные вещи? Иногда эти термины кажутся взаимозаменяемыми, а иногда нет. Мои ноутбуки синхронизируют свои часы с нашим NTP-сервером (UTC - 4), но часы BIOS все еще показывают UTC + 0.

Установка времени запуска в BIOS тоже не сработала, и я попробовал его как по местному времени, так и по UTC.