pc-bios: Update palcode-clipper

Do not double-update the PC after OPCDEC.

Fixes: https://bugs.launchpad.net/bugs/1810545
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
This commit is contained in:
Richard Henderson 2019-01-08 12:09:41 +10:00
parent 29eb528078
commit ac89de40ef
2 changed files with 1 additions and 1 deletions

Binary file not shown.