savedcmd_drivers/video/built-in.a := rm -f drivers/video/built-in.a;  printf "drivers/video/%s " aperture.o screen_info_generic.o screen_info_pci.o cmdline.o nomodeset.o hdmi.o console/built-in.a logo/built-in.a backlight/built-in.a fbdev/built-in.a display_timing.o videomode.o of_display_timing.o of_videomode.o | xargs ar cDPrST drivers/video/built-in.a
