<p>i got myself a new desktop PC, so I looked at the bios and of course there is 8051 firmware inside it</p>