Если просто стучать хуем по клавиатуре, то скорей так получится работающий EFI-код, чем если писать его специально.