Aldy, Why are #define MASK_PROFILE_KERNEL 0x00400000 #define TARGET_PROFILE_KERNEL (target_flags & MASK_PROFILE_KERNEL) defined in linux64.h after your patch? David