core/linux-raspberrypi-latest to 3.13.2; disable oot 8192; enable hifiberry