boot0_sdcard.fex, u-boot.fex and kernel (uImage) created from sources kernel built with many features enabled (btrfs, USB serial adapters, bluetooth, hdmi sound, nfsd ...) CPU runs at 1.53GHz, termal management adjusted so that all 4 cores are active