An x86 emulator for the Raspberry Pi