Re: Platform tests for kernel CI-loop