Documentation/security: Update list of boards supporting vboot