Small changes on how the PCL is loaded (now correctly works with 13 bit=