Yes, I did check but there is nothing in the bios. I have bios 1604 so that should be OK. But to be honest....I prefer to test it without TLB patch first. It runs absolutely perfect right now. No problem encounterd anyway.
I was worried to have bought a crippled CPU but it is just awsome:-)
Too much hype about the bug.