proc-vmcore: wrong data type casting fix