In 14.2, the FSBL has an issue where it will reset the registers that control whether the HP ports are configured as 32-bit or 64-bit. A temporary workaround is to modify thefile main.c in the FSBL project by adding the line:
before the following lines found near the end of function main():
/* Lock MIO so application cannot mess with control registers */
The plan is to fix the issue in the 14.3 release.