board/ryco: update raspberry pi patchset and config
board/ryco/configs: update kernel to 3.12.31