If you want to disable the power key in the future, it's under system/usr/keylayout/sec_powerkey.kl
When you open it up you should see this,
key 116 POWER WAKE
To disable it, just change it to this.
#key 116 POWER WAKE
Just make sure to back it up first.
Samsung Galaxy S3 i747
-AOSB 1.3.1 Kitkat 4.4.2
-3.4.79 cyanogenmod kernel