Beginnings of chipKIT Pi bootloader.