No usable event timer found on RPI2

[bob prohaska]

On Sat, Apr 09, 2016 at 10:59:33AM +0200, Svatopluk Kraus wrote:
> On Sat, Apr 9, 2016 at 4:02 AM, bob prohaska <fbsd at www.zefox.net> wrote:
> > generic_timer0: <ARMv7 Generic Timer> irq 10000,10001,10002,10003 on ofwbus0
> > generic_timer0: Unable to alloc int resource.
> > device_attach: generic_timer0 attach returned 6
> > generic_timer0: <ARMv7 Generic Timer> irq 10000,10001,10002,10003 on ofwbus0
> > device_attach: generic_timer0 attach returned 6
> 
> 
> The problem is here. Recently, bcm283x interrupt controllers were
> reworked for new interrupt framework and enabled by default. As I
> don't see that local_intc is attached in your dmesg, you use stale dts
> (dtb) files. My rpi2 dmesg looks this way:
> 

Dts seems to be a part of u-boot.

The version of u-boot installed is a year old, but updating ports suggests
that it hasn't changed. What am I missing? Apologies if it's a lot! 

Thank you!

bob prohaska