Fix minor u64 read-in issue in devalarm