comment out kernel building related things

Signed-off-by: Willi Ye <williye97@gmail.com>