, did you notice that the 5.1 GPE kernel sources are available from Samsung? Are you contemplating building an update? We could really do with one to fix our reboots/external sd access on the Danvdh 5.1 GPE ROM.
I'm thinking of working out how its done, but it would be quite a learning curve.
--- edit ----
Never mind - @Tkkg1994
has done it.