Precompiled linux kernel for the raspberry pi