I thought OSX firmware password could be bypassed by resetting PRAM. If true then does this invalidate their argument in FAQ about the thief reformatting the HD?