added armv6l platform, should work with rpi