core/linux-raspberrypi-latest to 3.12.1 and PKGFILE rewrite (following Kevin's example)