[PATCH v4 08/15] stm32mp: remove efi_add_known_memory() function definition