You're lucky you have only one I have a gazillion of white defective pixels on my BMPC 4K. Im still waiting for a magic firmware that removes these.
There are some workarounds but you have either to export your footage or its time consuming (okay for one pixel it should be okay):
http://forum.blackmagicdesign.com/viewtopic.php?f=2&t=30717&p=185548&hilit=hotpixel+simple#p185548
http://schweinert.com/blog/files/9753a06702dfd6fcb214a88c2eef770a-57.html