GitHub appears to have disabled its downloads feature so moving some miscellaneous patches that are needed by HPS distribution but are not hosted elsewhere to this here HPS distribution repository.