Es de hecho una herramienta para compilar, de Floppy Kernel hay 4 toolchains utilizados para compilar el kernel, uno entre de esos Linaro (está Google, UBERTC y otro más que se me fue), así que en sí lo que hice fue instalar el kernel Floppy compilado en Linaro
