All our Linux platforms should be called `linux-....' and the script would handle this properly. How come do you have `raspbian'? Note that for Raspberry Pi, the platform is actually called `linux-armv6'.