[PATCH 10/16] stm32mp: remove efi_add_known_memory() function definition