Pine64 spurious interrupts

[Tom Vijlbrief]

I have a lot of spurious interrupts on my Pine64.

Even in idle single user mode:

# pstree
-+= 00001 root /sbin/init --
 \-+= 01783 root -sh (sh)
   \-+= 01804 root pstree
     \--- 01805 root ps -axwwo user,pid,ppid,pgid,command
#

gic0: Spurious interrupt detected: last irq: 27 on CPU3
gic0: Spurious interrupt detected: last irq: 27 on CPU0
gic0: Spurious interrupt detected: last irq: 27 on CPU2
gic0: Spurious interrupt detected: last irq: 114 on CPU1
gic0: Spurious interrupt detected: last irq: 27 on CPU3
gic0: Spurious interrupt detected: last irq: 27 on CPU3
gic0: Spurious interrupt detected: last irq: 114 on CPU1
gic0: Spurious interrupt detected: last irq: 27 on CPU2
gic0: Spurious interrupt detected: last irq: 27 on CPU2
gic0: Spurious interrupt detected: last irq: 27 on CPU2
gic0: gic0: Spurious interrupt detected: last irq: 27 on CPU3
Spurious interrupt detected: last irq: 27 on CPU0
gic0: Spurious interrupt detected: last irq: 27 on CPU0
gic0: Spurious interrupt detected: last irq: 27 on CPU0
gic0: Spurious interrupt detected: last irq: 27 on CPU0
gic0: Spurious interrupt detected: last irq: 114 on CPU1
gic0: Spurious interrupt detected: last irq: 27 on CPU0
gic0: Spurious interrupt detected: last irq: 27 on CPU0

When building world (3 threads) the frequency is about a few each second,
idle perhaps a few each hour.

I have ethernet connected and a small USB hard disk with it's own power
supply, which hosts /usr/{src,obj,ports}.

In addition I noticed an ethernet lock up from time to time. Executing
"dmesg" in a ssh session is often sufficient to trigger it.

The weird thing is that after some boots (perhaps 1 out of 10) the spurious
interrupts do not happen! I have not been able to detect a pattern here.

Can others reproduce these findings?

Thanks in advance for any hints.