script: update build-rpi4 script to support RT kernel build