[coreboot] [PATCH] libgcc regparm workaround