kernel: fixup build warning message

Signed-off-by: Jack Tan <jiankemeng@gmail.com>