Trying to see if a bug was fixed (and an approved patch by me was still needed), I noticed that BOOT_CFLAGS was being ignored for profiled_bootstrap. Thanks, Andrew Pinski