build barracuda kernel inline