fix build kernel on falcon device