microblaze: Remove device_to_mask

Completely unused function - remove it.

Signed-off-by: Michal Simek <michal.simek@xilinx.com>
1 file changed