rpi4: boot: add kernel name in config.txt