[LinuxBIOS] lxbios bug?

OK, so:
1. cmos options should be defined in the DTS. I see a node with the
name boot parameters
or some such, and then in the node, there are nodes and properties, e..g
boot-parameters {
console-baud { default=115200, choices={9600, 19200, etc.}}
something=true (use of true or false defines this as a 1/0 choice)
}
and so on, is this reasonable?
But we will need to have dts tree parsing happening as part of make
config; is this ok too?
ron