Some user has reported problems with new 512MB Raspberry Pi boards with Hynix ram.
The Raspberry Pi foundation has released a new firmware but no patches for kernel 3.2 so we cannot use the new firmware.
This board stay unsupported until the RPi foundation will fix this, so I fear that will never done.
Don’t buy Raspberry Pi’s with 512MB Hynix ram for IPFire.