DW1000 transceiver Double Buffered Rx with Auto Rx

I did some experimenting with the Double Buffering Rx with Auto Ex Enable activated and noticed that I started seeing empty interrupts
(host processor is interrupted but DW1000 register does not indicate any reason for the interrupt). Also, the Rx timestamp is quite often 0xFFFFFFxx.
I noticed that you provide an example implementation of double buffering Rx with the driver package, but that does not use Auto Rx enable feature.
Neither does the driver provide an API to access the Auto Rx register.
Now, my question is: are there some known issues that one should be aware of when using the feature?