Dumb question: should this not go into the LinuxBIOS table rather then CMOS. From a quick view communication channels are
CMOS --> LinuxBIOS (talk to lb) LBTABLE <-- LinuxBIOS (listen to lb)
you are right. If you want to fix it, that's fine by me. That went right by me.
I think the kernel people may be expecting CMOS. You should check with them. I seem to remember something about easy changing it with /dev/cmos or something like that.