I'm working on porting an operating system called Xinu onto the Raspberry Pi 3. Members of my university have already done this with the Pi 1. I'm trying to use the same kernel they're using, but the Pi isn't able to boot it. Hopefully the kernel will work with just a couple of changes, but there is...