Support for SGX544 overclock