Merge halium-12 branch back to main
halium-12 branch was the one getting development recently, however in principle it should remain compatible with earlier ports/Halium versions and select the toolchain to compile kernel based on Android version. I suggest we continue the development back in main, to avoid heavily divergent branches.