gardalte: Add prebuilt kernel

Open source kernel still is not able to be built few more errors