add timestamp to kernel, and also fix extra packages inclusion
-rw-r--r-- 3251 bootstrapfs.pkgs
-rw-r--r-- 2221 devel.pkgs
-rw-r--r-- 2438 gnuradio-tags.mk
-rw-r--r-- 148 gnuradio.mirrors
-rw-r--r-- 8308 gnuradio.mk