@Lukas Hejmal thanks for you tip, worked for me.
@danman I also have the Line with `machid=1029` in my `armbianEnv.txt` but 4 cores are shown.
verbosity=7
console=both
machid=1029
bootm_boot_mode=nonsec
disp_mode=1920x1080p60
overlay_prefix=sun8i-h3
rootdev=UUID=74434014-190f-406c-9b73-2c99c49383ba
rootfstype=ext4
overlays=analog-codec spi-spidev
param_spidev_spi_bus=0
Long Story:
Hardware: OrangePi PC
* long time ago I installed a jessie image
* lots of hacking was done on that board
* pulseaudio in jessie get a mess so updated to stretch repo
* pulseaudio needed a newer kernel!!
* lots of trying with new kernel/old kernel and SPI for another project
* done in the end nearly the same as `mariel` but with `*-next` and and a dist upgrade to stretch it booted \o/
* but surprise only 4 cores
* read this thread and now 4 cores \o/ nice
