Fixed some properties whose values depend on the board revision, such as banner-name, model, and clock-frequency.
cpu/x86/pc/olpc/devices.fth
cpu/x86/pc/olpc/fw.bth