4.4.6-grsec on RaspberryPi - kernel panic during boot