Richard Henderson ac89de40ef 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>
2019-01-08 12:12:51 +10:00
..
2017-07-17 11:00:28 +02:00
2014-07-07 16:46:35 +02:00
2018-11-20 06:57:53 +01:00
2018-04-06 23:14:51 +10:00
2018-08-21 14:28:45 +10:00
2018-07-02 17:20:54 +02:00
2018-07-02 17:20:54 +02:00
2018-11-20 06:57:53 +01:00