Ok, so I followed the steps you outlined in your last post, and got back to a point where analog audio devices show up as output options, but still no HDMI (as opposed to no devices at all). Part of that was editing the DSDT layout-id to 0x77, 0x03, 0x00, 0x00, and I verified that it now matches...