[Bug 533555] New: Custom DSDT not being loaded