Move <boot-parameters> to (gnu system).