rename platform-linux-raspberrypi into platform-raspberrypi-3.12
gen_links: convert into pytho script