Flounder: Build kernel inline