fix build errors for kernel

Change-Id: I4d82c2450589e3b1e306e295d137bb9087164200
Signed-off-by: Hieu Phan <aznrice2k4@gmail.com>