20130710: Break kernel into separate repo.
20130713