Yes, but that is non-critical, is it not? The bug was reduced to wishlist level. A fix will be available in the future, but booting is not affected currently anyway.
If there is any concern, it's easy to make a few hundred MB boot partition if desired. I don't bother anymore, though.