Linux kernel compiled from raspbian sources with patches to let it run in qemu