发布：Smallest OS for Raspberry Pi, piCore 5.3, Returns with Linux Kernel 3.14.4

@jiajia9linuxer 发布了！翻译的不错。