add build kerneldeb

hc

2023-11-23 7d07b3ae8ddad407913c5301877e694430a3263f

1
2
* replace platform device code with DT nodes once the driver supports DT
* remove staging board code when no more platform devices are needed