udf: remove unneeded kernel_timestamp type