Comment 2 for bug 1939379

Yeah, I think what's going on is that - due to the above change - gcc-11 no longer enables an FPU independently of the selected arch. The FPU is only enabled because the default -march is armv7-a+fp. The kernel build is overriding GCC's (new) built-in default march to one that does not have "+fp", so no flags remain to enable the FPU. edk2 does something similar, and changing it's forced -march from armv7-a to armv7-a+fp works for me.