In realtà, leggendo rapidamente il thread che hai linkato, mi sembra che il Raspberry 4 sia supportato...
Da un primo sguardo alle schermate di installazione sembra che sia possibile sia il dual boot, sia l'installazione su chiavetta USB, ma non è chiarissimo il come...
La cosa che mi fa strano è che le richieste hardware siano particolarmente elevate per la maggior parte dei kernel, o sbaglio?