x86_64: use generic cmos update