[aur-requests] [PRQ#2554] Merge Request for ejdk-vfp-hardfp