It's an R40, and I just found out how to change the BIOS. It seems that right when you turn on the computer you have to hit a personalized blue button on the ThinkPad's keyboard labeled "Access IBM" to be able to access and change the BIOS' configurations.