Thanks guys!

@nieldk I think my first try (resulting in not booting anything) was only changing the $RELEASE. Didn't mention that because I'm actually not really sure that's what I did – That was just playing around for a few minutes on a work break.

@rinigus I'm a bit pressed for time as well, lately, but it may be a good opportunity to learn something new. I'll at least look into the HADK stuff a bit and then see If I can get myself to use IRC again for the first time in 15 years