Update: The issue is gone in the latest BIOS update issued by HP. Version: R70 Ver. 01.04.05 Release Date: 02/18/2020