I have just ported the SLAA512 to our hardware.
The firmware successfully handles the POWER_OFF_STATE in NFCTarget_statemachine() but then the NFC_State remains in SENSE_STATE because the Radio_Wait_IRQ() expects the NFCTargetProtocol register to become 0xC5. When I bring an Android Samsung Galaxy S4 mini nearby the register becomes 'only' 0xC0.