Join Date:Joined: Jun 2008
It is not locked, it's lacking support for legacy boot.
Someone should get the 64bit UEFI "Bios" applied to the 32bit Version,
as Linux only offers 64bit UEFI-Loaders.
Then, or with the 64bit version of the tp8 it should at least boot up.