Is it feasible to maintain a list of platforms(boards) and CPUs that are supported by genode and by which kernel on the website or the github repo?<br>