kernel: config: add missing PPP config options, MMC_SPI and DM_LOG_USERSPACE and crypto options
See: http://www.raspberrypi.org/phpBB3/viewtopic.php?f=29&t=55711

bootcode: fix noobs boot issue when booting from alternate partition

firmware: Support for multichannel audio (from next tree). Improvements to force_audio option.
firmware: Improvements to spdif formatting of HDMI PCM data during start/stop/pause/underrun.
firmware: Add pause_burst_frames config option to avoid noise when pausing ac3 passthrough
firmware: Add dispmanx api to set resource's palette
See: https://github.com/raspberrypi/userland/issues/95