fix stupid build error

Change-Id: I7941414dd953f795e7daf300faee0df5cb4b7b35
add missing kernel includes