Add slim mako kernel to google manifest