# Kernel for Raspberry Pi 32 bits, for usage in gokrazy