falcon : Include kernel's include