falcon : Fix kernel building task