Fixing DSDT2Bios to work with AmiBoardInfo < 0xFFFF