You need to the enter the sale of home in schedule D, just like a stock transaction. and that is where the gain will "really" come from. Theoretically it will match the amount on the 8288

The withholding goes in the Miscellaneous > Statement of Withholding ... 8288-A and that will carry as withholding to the 1040 (or 1040NR)