[kbuild] Re: [PATCH 14/19] floppy: use a separate gendisk for each media format