Out of the amounts appropriated to the Virginia Community College System, the State Board for Community Colleges shall establish and maintain at Northern Virginia Community College a faculty salary average at least 8 percent above that of the remaining colleges in the Virginia Community College System.