What is the proper way to use ISOLINUX with UEFI

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=0bXsnivNvc4