I tried getting these updated files (Linux kernel and U-Boot) from LEGO customer support recently. Supposedly they are working on making these available, but it is a slow process.
Originally posted by @dlech in #42 (comment)
do you get the sources , Would you mind to send me a note, when you got the sources?