UEFI ブート

posix-uefi/main.c でコンパイルされた BOOTX64.EFI から実行が始まる。
ここでは、フレームバッファの取得、カーネルのロード、ファイルシステムがマウントされる前に起動するサーバープロブラム群を収めたファイルのロード、 メモリーマップの取得、ACPIテーブルの取得を行い、UEFIブートサービスを終了して、カーネルを実行する。
GRUBに移行できるか検討する必要あり。