Here’s the model linked from another thread.
When I got the laptop, I tried installing rc3, but it did not allow me to install it until I upgraded the BIOS. I’ve seen a few other posts about the 7x40 processors not working. Perhaps updating the BIOS might help in those situations.