core/linux-raspberrypi to 3.10.19-3, pkgbuild makeover, aufs, and fixes #624