kernel: fix latex publish error

Signed-off-by: Micky Ching <mickyching@gmail.com>