For raspberrypi4 & raspberrypi4-64 checks were added to make sure that the chosen kernel version is recent enough to support the hardware. These checks should be generalised so that a BSP simply needs to specify the minimum required kernel version.