add build kerneldeb

hc

2023-11-23 7d07b3ae8ddad407913c5301877e694430a3263f

1
2
3
4
5
6
SOCFPGA IS1 BOARD
M:    Pavel Machek <pavel@denx.de>
S:    Maintained
F:    board/is1/
F:    include/configs/socfpga_is1.h
F:    configs/socfpga_is1_defconfig