util,arch-arm: Update gen_arm_fs_files.py to use new kernel repos