Why were changes to the kernel necessary at all? Besides UEFI, how does RPiOS work without all those other peripheral changes?