mako: Use Furnace kernel