Fast rpi4 var inte inkluderad i det exemplet och rpi4 har en annan design än tidigare rpi:s.
Du tänker ARM som ARM? Jo båda rpi:s har ARM processorer och kan (förmodligen)köra samma kernel, men när man bootar en rpi4 så kör man inte in kod till en ARM utan det är en gpu som ska starta själva ARM processorn.
Med det sagt så är det mycket möjligt att det fungerar om du uppdaterar filerna på sd-kortet så firmware för rpi4 finns inkluderad. Något som kanske inte sker automagiskt.
Jag är absolut ingen expert på det här och du bör läsa på deras forum om du verkligen vill veta hur det funkar. Jag har försökt få en rpi4 att "pxe-boota" och det gav mig viss insikt i hur den bootar och från det jag läste då var att den inte bootar på samma sätt som tex rpi3, därav min skeptiska inställning.