kernel: fix integer as NULL pointer warnings