Add an ASLR-enabled kernel for the RPI-B