#829: [bin] update kernels.inc

This commit is contained in:
Fabio Erculiani 2012-08-23 09:06:49 +02:00
commit 48aa1dcf7b

@ -1 +1 @@
Subproject commit ae09dba2d85e2b49210fbae1f4e4f5e9dff86525 Subproject commit 00ff616283e6f3daf0be42356e757a21f267d457