COMPAT_43, SoC and stuff

I just removed the COMPAT_43 option from the GENERIC ker­nel in cur­rent. This may result in increased per­for­mance for some workloads.

In the last days I also “men­tored” a lit­tle bit my SoC stu­dents. Review­ing some changes, sug­gest­ing some imrove­ments, com­mit­ting some stuff which is ready, dis­cussing var­i­ous things and so on.

And last but not least, I hope that the last bugs in the update to the new lin­ux base port are ironed out on the ports build clus­ter (I did some com­mits in the last days).