Are there any official SMP implementation guidelines?

Assuming that you are asking for a guide to write FreeRTOS SMP port, we do not have one. This list by @Fresh is a good starting point. You can take a look at the existing SMP ports as well. Let us know if you face any issue and we will try our best to help.