further changes for Raspberry Pi / ARM 6L / Debian Linux