Set correct data types for board_device_index and speed

[olofk]

A recent change in FuseSoC to better check data types revealed that some Edalize tool options were mistakenly set as strings instead of integers