ports/emulators/spike/patches
