fix kernel build issue

Change-Id: I37aa62155fff8297508ec1b3143f6b18a05aab2f