Is it possible already to set up a rpi4 with kernel 5.4?