fix kernel inline compilation