This is used for verifying signed kernel. Openssl library will be used for certificate parsing and rsa decryption. Change-Id: Icf0024afd8f4d8690d077b47f4b9e83cad1e4813
printf at the moment just calls dprintf, but soon will become a seperate I/O queue.