Obrigado pelo tutorial!
Estava a seguir os diversos passos e no ponto 6 obtive: "Wake reason: XHC" (e não o PWRB) após uma saída do sleep aparentemente normal.
Tendo em conta que usei o patch para a minha motherboard obtido aqui (http://pjalm.info/repos/gigabyte/GA-Z87X-D3H.txt), há mesmo necessidade de fazer a alteração da DSDT (ponto 3)?