rk3588: configure UEFI_EDK2_BOARD_ID for all UEFI-supported boards

Description

Checklist

hide

Activity

Show:

Ricardo Pardini November 27, 2023 at 6:29 PM

Ohhhhh please please stop this

Done

Details

Assignee

Fix versions

Reporter

Priority

Created November 22, 2023 at 11:05 PM
Updated November 27, 2023 at 6:29 PM
Resolved November 22, 2023 at 11:05 PM