Unfortunately, the BIOS in this laptop is quite limited, and won't let me change it to AHCI. (Or even see if it is, for that matter.) I was under the impression, though, that all HP laptops were AHCI by default for a few years now.

Is there a specific patch for the DSDT that would fix it? As of right now, I am not using a DSDT file.