Nesta página vou colocar builds the kernel de debian, para ajudar quem estiver a utilizar o debian e pertender actualizar a versão do kernel sem ter de o compilar: