board: x230-hotp-verification (includes libremkey-hotp-verification)

[tlaurion]

Add x230-hotp-verification board with libremkey-hotp-verification in (supports remote attestation for Nitrokey Pro 2, Nitrokey Storage 2 and Librem Key)

• Includes CircleCI config (that will need to be reverted prior of merge) that permitted to create the artifacts that can be tested here so that board can be tested.

Maybe the way to go is to add all boards that can be built without external dependencies in #571 ? Each board takes 15 minutes when CircleCI cache was built from initial build, which can be reused to build other boards configs, as tested previously.

[tlaurion]

Forced pushed so that buildsystem now builds for qemu-coreboot, x230-flash, x230, and x230-hotp-verification (15 each board)

[MrChromebox]

why did this need a separate coreboot config? it's the same as the regular x230 config, just cleaned up and with a larger CBFS.

[tlaurion]

why did this need a separate coreboot config? it's the same as the regular x230 config, just cleaned up and with a larger CBFS.

@MrChromebox : each board needs to be coupled with a coreboot specific configuration, since modules are built in the board configuration directory (build/$BOARD), and coreboot config needs to point in that same $BOARD directory to find its initrd and other dependencies.

linux configurations can be shared across a board configurations, while coreboot configurations, right now, needs to be duplicated.

This board configuration takes into account your comments that were raised into #703.
The x230 mother board configuration is still as it was originally.

[MrChromebox]

ah ok, thanks for clarifying -- didn't realize coreboot configs couldn't be shared currently