Update to flaming monkey kernel 20130826