Primeiro, você não deve e não deve usar o grep quando você passar a saída para o awk, porque o awk sabe o que o grep sabe e ainda mais.
Em seguida, a instrução de impressão do awk (ao contrário de printf () em C ou print em perl) imprime nova linha após o valor automaticamente (embora awk também tenha seu próprio printf, o que não ocorre).
E último bnl, se você quiser apenas imprimir o registro inteiro (aqui: linha), você não precisa nem especificá-lo.
Agora, você deve tentar isto:
./myproc | awk '/pattern1/,/pattern3/ {print}; /pattern3/ {print ""}'
E você deve ler sobre range pattern em man awk .