[dm800 and ebox] push kernel build