rpi4: boot: add kernel name in config.txt

Add kernel name in config.txt.

Change-Id: Iff5b38da853a54296c2eef7b6d5eaf24761b22cf
Signed-off-by: Jaehoon Chung <jh80.chung@samsung.com>

diff --git a/rpi4/boot/config.txt b/rpi4/boot/config.txt
index f7c2b7a..e829841 100644 (file)
--- a/rpi4/boot/config.txt
+++ b/rpi4/boot/config.txt
@@ -59,6 +59,7 @@ dtparam=audio=on
 # Enable DRM VC4 V3D driver on top of the dispmanx display stack
 dtoverlay=vc4-fkms-v3d
 max_framebuffers=2
+kernel=zImage
 
 [all]
 #dtoverlay=vc4-fkms-v3d