Update KBUILD_AFLAGS