configure: Fix some issues with sed
Initial support for Raspberry Pi