HTPC sometimes enters UEFI BIOS (ASRock) instead of booting LibreELEC