[ch5][update]optimizing makefile for docker#9

0x822a5b87 wants to merge 1 commit intoLearningOS:ch5LearningOS/rCore-Tutorial-Code:ch5from

0x822a5b87:ch50x822a5b87/rCore-Tutorial-Code:ch5Copy head branch name to clipboard