Quick question - have you been able to get the ACPI tables from the HP Stream Mini yet?
Current: Nvidia Shield TV (2nd Gen) Retired: Asus M004u Chromebox - LibreELEC 7.0.1 | Raspberry Pi 2 - OpenELEC 6.0.3 | Apple TV w/ BCM70015 - CrystalBuntu 2.0 | Raspberry Pi - Model B - OpenElec Kodi 15