fix kernel build issue

Change-Id: I002fc9271cc0e550a78c0ec8fc90d249997c65ba