First attempt to fix issues with DSDT/Ami larger than 0xFFFF