Replace hardcoded AMYboard patch string in headers.py with code-defined patch

[bwhitman]

In amy/headers.py at make_amyboard_patch() (around line 407), the AMYboard default patch is stored as one long serialized patch string.

[dpwe]

This is fixed in c1f6d5f . Not sure exactly where it's merged.