no need to sync prebuilt mako kernel